Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
91	MATRIX at the TREC 2005 Robust Track W.S. Wong 1, H. C. Wu1, R.W.P. Luk1, K.F. Wong 2, K.L. Kwok3, H.V. Leong 1 1 Department of Computing Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2006-02-21 09:28:37 Relevance feedback Query expansion Extended Boolean model Vector space model Relevance Precision and recall Text Retrieval Conference Ranking function Document retrieval Information science Information retrieval Science
92	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics
93	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
94	A Small-world Network Where All Nodes Have the Same Connectivity, with Application to the Dynamics of Boolean Interacting Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Social networks Network theory Watts and Strogatz model Small-world network Scale-free network Connectivity Topology Barabási–Albert model Network topology Graph theory Networks Random graphs
95	PDF Document Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2004-02-12 14:06:43 Relevance feedback Precision and recall Full text search Document retrieval Relevance Query expansion Search engine indexing Extended Boolean model Word-sense disambiguation Information science Information retrieval Science
96	Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast Maria I. Davidich, Stefan Bornholdt* Institut fu¨r Theoretische Physik, Universita¨t Bremen, Bremen, Germany Abstract Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 Proteins Wee1 Cdc25 Cyclin-dependent kinase 1 Schizosaccharomyces pombe Cdc14 Gene regulatory network Cyclin Mitotic exit Biology Cell biology Cell cycle
97	Gershenson and Niazi Complex Adaptive Systems Modeling 2013, 1:17 http://www.casmodeling.com/contentEDIT OR IA L Open Access Add to Reading List Source URL: www.casmodeling.com Language: English Systems theory Nature Systems Networks Network theory Complex network Agent-based model Boolean network Complex system Science Complex systems theory Structure
98	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logic programming Logical syntax Default logic Well-formed formula Logical connective FO Stable model semantics Logic Mathematical logic Boolean algebra
99	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic
100	CS109B Notes for LectureWhy Logic? Models reasoning, mathematical proofs, hu Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:08 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Interpretation Function Propositional variable Logic Mathematical logic Mathematics

UPDATE